#include <stdio.h>
#include <unistd.h>
#include <string.h>

int main()
{
    char buffer[256] = {0};
    char *order[50] = {0};
    fgets(buffer, sizeof(buffer), stdin);
    int n = 0;
    while (buffer[n] != 0)
    {
        if (buffer[n] == '\n')
            buffer[n] = 0;
        ++n;
    }

    char *ohead = strtok(buffer, " ");
    int options = 0;
    while (ohead)
    {
        order[options++] = ohead;
        ohead = strtok(NULL, " ");
    }
    execvp(order[0], order);
    return 0;
}